Probability-theoretic investigations on inheritance, II-2. Cross-breeding phenomena

Proof-Theoretic Investigations on Kruskal's Theorem

In this paper we calibrate the exact proof–theoretic strength of Kruskal’s theorem, thereby giving, in some sense, the most elementary proof of Kruskal’s theorem. Furthermore, these investigations give rise to ordinal analyses of restricted bar induction.

Prequential probability: game-theoretic = measure theoretic

This article continues study of the prequential framework for evaluating a probability forecaster. Testing the hypothesis that the sequence of forecasts issued by the forecaster is in agreement with the observed outcomes can be done using prequential notions of probability. It turns out that there are two natural notions of probability in the prequential framework: game-theoretic, whose idea go...

Measure Theoretic Probability

Preface In these notes we explain the measure theoretic foundations of modern probability. The notes are used during a course that had as one of its principal aims a swift introduction to measure theory as far as it is needed in modern probability, e.g. to define concepts as conditional expectation and to prove limit theorems for martingales. Everyone with a basic notion of mathematics and prob...

Measure-Theoretic Probability I

Decision-theoretic Reenement Planning Using Inheritance Abstraction

Abstraction Peter Haddawy Meliani Suwandi fHaddawy, [email protected] Department of Electrical Engineering and Computer Science University of Wisconsin-Milwaukee PO Box 784 Milwaukee, WI 5320